Alberto Sangiovanni-Vincentelli: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (27)
Most Popular
List
- List
- Table

1

Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Year:

1997

Language:

english

File:

PDF, 9.74 MB

5.0 / 5.0

english, 1997

2

Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli

Year:

2001

Language:

english

File:

PDF, 9.53 MB

0 / 0

english, 2001

3

Noise Analysis of Radio Frequency Circuits

Noise Analysis of Radio Frequency Circuits

Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2004

Language:

english

File:

PDF, 8.60 MB

0 / 0

english, 2004

4

Embedded Systems Development: From Functional Models to Implementations

Embedded Systems Development: From Functional Models to Implementations

Springer-Verlag New York

Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)

Year:

2014

Language:

english

File:

PDF, 4.75 MB

0 / 0

english, 2014

5

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara (auth.)

Year:

1997

Language:

english

File:

PDF, 18.05 MB

0 / 0

english, 1997

6

Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli

Year:

2015

Language:

english

File:

EPUB, 1.57 MB

0 / 0

english, 2015

7

Embedded Systems Development: From Functional Models to Implementations

Embedded Systems Development: From Functional Models to Implementations

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

Year:

2013

Language:

english

File:

PDF, 5.99 MB

0 / 0

english, 2013

8

Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Alberto Sangiovanni-Vincentelli

Year:

1987

Language:

english

File:

DJVU, 6.85 MB

0 / 0

english, 1987

9

The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2012

Language:

english

File:

PDF, 2.72 MB

0 / 0

english, 2012

10

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

Year:

2002

Language:

english

File:

PDF, 4.38 MB

0 / 0

english, 2002

11

The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2012

Language:

english

File:

PDF, 4.83 MB

0 / 0

english, 2012

12

Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Year:

1997

Language:

english

File:

PDF, 7.24 MB

5.0 / 5.0

english, 1997

13

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)

Year:

1998

Language:

english

File:

PDF, 7.17 MB

0 / 0

english, 1998

14

Logic Synthesis for Field-Programmable Gate Arrays

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Year:

1995

Language:

english

File:

PDF, 9.29 MB

0 / 0

english, 1995

15

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2017

Language:

english

File:

PDF, 4.10 MB

0 / 0

english, 2017

16

Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)

Year:

1984

Language:

english

File:

PDF, 6.32 MB

0 / 0

english, 1984

17

Steady-State Methods for Simulating Analog and Microwave Circuits

Steady-State Methods for Simulating Analog and Microwave Circuits

Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

Year:

1990

Language:

english

File:

PDF, 5.02 MB

0 / 0

english, 1990

18

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

Henry Chang, Edoardo Charbon, Umakanta Choudhury, Alper Demir, Eric Felt, Edward Liu, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, Iasson Vassiliou (auth.)

Year:

1997

Language:

english

File:

PDF, 19.01 MB

0 / 0

english, 1997

19

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)

Year:

2001

Language:

english

File:

PDF, 3.23 MB

0 / 0

english, 2001

20

Algorithms for Synthesis and Testing of Asynchronous Circuits

Algorithms for Synthesis and Testing of Asynchronous Circuits

Kluwer Academic Publishers

Luciano Lavagno, Alberto Sangiovanni-Vincentelli

Year:

1993

Language:

english

File:

DJVU, 2.54 MB

0 / 0

english, 1993

21

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Springer International Publishing

Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto

Year:

2017

Language:

english

File:

PDF, 4.10 MB

0 / 0

english, 2017

22

Relaxation Techniques for the Simulation of VLSI Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

Year:

1986

Language:

english

File:

PDF, 7.26 MB

0 / 0

english, 1986

23

Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2000

Language:

english

File:

PDF, 8.42 MB

0 / 0

english, 2000

24

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

Year:

2001

Language:

english

File:

PDF, 7.73 MB

0 / 0

english, 2001

25

Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2001

Language:

english

File:

PDF, 6.52 MB

0 / 0

english, 2001

26

Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto Sangiovanni-Vincentelli (auth.)

Year:

2003

Language:

english

File:

PDF, 9.24 MB

0 / 0

english, 2003

27

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

Year:

2001

Language:

english

File:

PDF, 15.60 MB

0 / 0

english, 2001